推理机；推理引擎

дедуктивная машина; машина логического вывода; механизм логического вывода